1. Automated Deduction in Geometry
Author: \ Francisco Botana , Pedro Quaresma (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer graphics,گرافیک کامپیوتری,a03,a03,Geometry -- Data processing -- Congresses.,Automatic theorem proving -- Congresses.,هندسه -- داده پردازی -- کنگره ها
Classification :
T
385
.
A92
2015
E-Book
,
